taskPoussin proof assistant - Tasks: Browse Items

 
 
Browse with the query form and selection.
Open/Closed:  Status:  Assigned to:  Category: 

Additional constraint :
    since

 

Column heading links sort results (up or down), you can also sort by priority or reset sort. You can also activate multicolumn sort. Currently, results are sorted by Summarydown.

        5 matching items - Items 1 to 5        

Item ID Summary down Status Assigned to Should be Finished on
#7848 add the test for well-formness of inductive type in proof assistant interface Need Info alalme 2008-03-12
#7938 factoriser le code de destruction d'inductive alalme 2008-04-11
#7711 hierarchical type Postponed alalme 2008-01-26
#7703 modif Done alalme 2008-01-23
#7937 unification algorithm alalme 2008-04-11

        5 matching items - Items 1 to 5        


Open Items Priority Colors:
     1   2   3   4   5   6   7   8   9 
Closed Items Priority Colors:
     1   2   3   4   5   6   7   8   9 

Back to the top

Powered by Savane 3.13-02a9.
Corresponding source code